﻿/*============================================
 * 类名 :OperandNote
 * 描述 :操作数节点
 *   
 * 创建时间: 2009-11-3 16:43:51
 *============================================*/
using System;
using System.Collections.Generic;

using System.Text;

namespace 命题证明
{
    /// <summary>字母节点</summary> 
    class WordNode : Node
    {
        /// <summary>字母节点构造函数</summary>
        /// <param name="word"></param>
        public WordNode( char word )
        {
            this.Word = word;
        }

        /// <summary>获取或设置这个节点存储的字母</summary>
        public char Word { get; set; }

        /// <summary>获取或设置这个节点操作数的逻辑真假值</summary>
        public bool Value { get; set; }
        public override string ToString()
        {
            return base.ToString();
        }
    }
}
